$\forall$${\it es}$:ES, $X$:AbsInterface(Top). strong{-}subtype(E($X$);E)